Are enchiladas meant to be crispy?