a few small documentation corrections