Making text nicer for camera-ready