Misc documentation corrections