If you meant to type "migule" but the correct spelling was actually "miguel", fret not! Mistakes happen and autocorrect can be quite capricious. Miguel is a common Spanish name, so selecting it from suggested corrections should get you on the right track.