pretty printing the time