fixed a bug in a regexp