Adopted prettify for short times '9-18' -> '09:00-18:00'.