Finish the hack to make PLT Racket happier