A couple of documentation corrections