modifications for camera-ready