Bugfix for timestamp formatting