Timestamp rounding issue

Hi Samuel; here my first pull request; hope I did everything right, else let me know. Juergen