Correcting formatting of TODO.mf