[ignore] correct module-specific ignoring.
[ignore] Fix a logical fallacy