Abort when auto-correct causes an infinite loop.