Minor fixes

to make the tests run. With Linux and Racket 6.1.1.