Minor documentation and todo list update