Correction to “Initial results from radio occultation measurements with Mars Global Surveyor” by D. P. Hinson et al.