Fixed formatting. Use TODO formatting for all .txt files