How do you keep corn tortillas from getting mushy in enchiladas?