Bugfix: time formatting