final tweaks for camera-ready