But typing errors are such a minor thing in comparison to everything else, than "everything else" is of much higher on the priority list