Gnocchi, Mushroom and Kale Soup

Bahan-bahan (4 porsi)

• 2 tablespoons olive oil
• 1 medium white onion, diced
• 2 medium carrots, diced
• 2 celery stalks, diced
• 5 cloves garlic, minced
• 2 tablespoons finely-chopped fresh rosemary
• 1/4 teaspoon crushed red pepper flakes
• 1 pound baby bella mushrooms, sliced
• 6 cups vegetable broth
• 1 bay leaf
• 1 (16-ounce) package uncooked gnocchi
• 4 cups (about 4 ounces) finely-chopped fresh kale (tough stems discarded)
• 1/3 cup heavy cream
• fine sea salt and freshly-ground black pepper
• freshly-grated Parmesan cheese, for topping (optional)