use different Date() syntax for other dates, too