Better lexing around regexps, plus better syntax-checking on regexps.