fixes bug in f5 rewritten criterion