minor bug fix in the regex