Misc. doc fixes

Some things I noticed when building the doc.