minor change in DateF.js