Some documentation corrections