More documentation corrections