Gps time fix

Indentation in mobile code is kind of a variety show.