Tidying to remove vestiges of non-ascii regexps