Fix cmp_times()