documentation corrections (API behavior unchanged)