Documentation fixes

A bunch of small doc fixes.