Minor update to time.hpp