Fix a bug wrt to datetime precision after travel

Note that the first comment fixes the test, but actually breaks the build. The second commit fixes things.