Minor documentation corrections