Fix some minor formatting in the TODO list.