Correct unit test in dates.rkt