fix in redex grammar: leading spaces inside [...]