Pretty_time correction

Fixes issue #3018