If you've mistakenly typed "ta9o" instead of "taco", fret not! Auto-correct can sometimes play tricks on us. To fix it, simply delete the digit "9" and replace it with the letter "c". Voila! Your craving for a delicious taco will finally be satisfied.