Help me filing my father's itr

Dear Friends,

My Father is a pensioner and earns interest from his MIS of post office. He pays his TAX on his pension by getting deducted from his pension by his emplyer, for interest on investment in MIS he also got extra TAX deucted from his pension. E.g. if TAX on his pension is Rs. 10000/- and after self assessment interest on investment in MIS is Rs. 12000/- so actually get deducted Rs. 23000/- from his Pension. His employer has issued Form 16 which shows pension paid as income and Rs. 23000/- deducted as TAX and deposited in govt bank.

Now while filling ITR 1 he has shown his pension income under head Salary and interest on investment under head "Income from other sources". At Sr no 23 of ITR1 he has shown his pension and total Tax deducted. Is it OK? Because extra TAX (as self assessment tax) deducted dont have challan no BSR code etc. as this is not deposited personally instead employer has deposited.

A file is attached herewith for ready reference.

A advise or comment on this shall be very much appreciated by my father.

Regards