Correct to-default-time-zone/today implementation