simplified the time conversion from utc to tai

a very small PR
Found it! there was that tab wondering around there! I don't know how it hadn't failed before....