WEignore: Respect negative patterns (#1600)

Fixes #1600.