Tiny documentation corrections.