Minor updates and a TODO.
Minor doc updates.