fixed racket typos discovered during pyret conversion