What do you do if your gnocchi doesn't float?