[Fix #1032] Avoid duplicate reporting during --auto-correct
Merge pull request #1038 from jonas054/fix_1032_double_reporting

[Fix #1032] Avoid duplicate reporting during --auto-correct