fixed a bug uncovered by a stronger syntactic check in redex
fixed a bug uncovered by a stronger syntactic check in redex

mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket,mafagafogigante/racket