slightly modified regular expression