Gnocchi dengan Saus Jamur Krim

Bahan-bahan (6 porsi)

• 2 tablespoons butter
• 16 ounces white button or baby bella mushrooms, cut into thin slices
• 1/2 teaspoon salt
• 3 cloves garlic, thinly sliced
• 1 1/2 cups chicken broth (+ an additional 1/4 cup as needed)
• 3/4 cup heavy cream
• 3 sprigs fresh thyme
• 1 tablespoon cornstarch dissolved in 1 tablespoon cold water
• 1/4 cup Parmesan cheese
• two 16-ounce packages gnocchi, prepared according to package directions (I use DeLallo and I love their mini-size gnocchi for this!)