Further optimize cooking pots, although very slightly this time. (But it
could make a huge difference with thousands of them)