Remove unused arguments from 'format_time()'