subtle bugfix for regular expression