modifications for the camera ready version