Fixed NTNU format_time function