Mushrooms and gnocchi