Gnocchi In Fresh Tomato Sauce

I was pleasantly surprised that a steak speciality restaurant had a whole separate vegan menu - the gnocchi was actually from the September set menu and not on the regular vegan menu... it was really tasty but a little basic - had the ‘woodland mushrooms’ been slightly more interesting varieties I think it would have made the dish seem more elevated