edits needed for camera-ready version