Fix `get_times()` program
It should now give more realistic time values.