Fix bug in gps-acquisition code.