tweaked formatting of TODO.txt