Fix the regexps in judeme