Rename for camera-ready conformance.