Bugfix for the show_time option