potato dish (called gnocchi)