Fixed formatting when printing the time in strftime(3)