Small documentation corrections.