improved time formatting in output