Some documentation corrections.