text: Corrected GPS measurement domain algorithm.