Add auto-correction to Not cop