Add missing space for hour notation in format_time