fix compile time errors that DrRacket 5.3.2 detects, but not 5.3.1