Little documentation corrections