Should Enchiladas Be Covered When Baked