More misc/doc fixes

They're trivial enough to speak for themselves :)