bugfix Regexp.options