Doc fixes

Tiny fixes, more to follow.