Minor: updated TODO.md, tweaked formatting