Add autocorrect tests (incomplete)