Fix some documentation TODOs and errata