* commit 'dc5fa1859d03ecca36fc6be2fed7bbd4ba70b51f': Fix issue #6048808: sometimes auto-correct is inactive