Minor documentation updates and a TODO