options:formatting:auto-correction