documentation corrections and improvements