Programming: int_prog: Format and fix typo