more documentation corrections