various documentation corrections