Steve that sounds like the same recipe we use. The only difference is we often mix in some ham with the sausage. Many recipes miss the bay leaf.
I should add our enchilada recipe, It's simple and can be made with few ingredients.
Shredded o or chopped chicken
Mayo or Miracle Whip
chopped onions
chopped peppers (to taste)
Cumin to taste
salt.
Mix the ingredients into the dressing until you have a thick mixture. Roll tortillas with an appropriate amount of filling, and put into a DO or crock pot to heat. Top with sauce, cheese and salsa or pico de gallo.
I left out quantities because it is easy to fit to what you require.