bug fix in regexp: "PRE-OK" should not be recognized as "OK"