bug fix

adjusted a regular expression, line 732