a few improvements to make_time().R