Avoid false positives

7bc1e90 was reverted by 88ce112