bug fix in regexp