“query correction” is another name for Did you mean.