minor documentation corrections