One more superfical change to parse.rkt