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