Backport typo in display_time_gui() from the 'lib' branch.