fix bug in DrRacket