Correctness after spell checking