Further documentation corrections