Because of the vegetables, it is usually not necessary to thicken the sauce. However, if it is too runny, you can thicken the goulash with 1 tablespoon of cornstarch dissolved in cold water. Then add salt and pepper to taste. If possible, I fish out the bay leaves before serving.
This is a basic recipe for goulash, it can be wonderfully modified by adding e.g., half an hour before the end of the cooking time adds cream, potatoes and / or peppers. I still add garlic, but my grandma didn`t like it.
All kinds of dumplings, potatoes or noodles go well with this.