Pointed out a possible bug in the GPS code