Mini bug fixes, updated TODO.txt