Some minor code/documentation corrections