Better support time formatting in the Builder