[NFC] Fix use of pattern-hated-by-Coleman