GMT: fix minor bug in GetGroundHeight