Fix another bogus piece of code from 31e77b975ed0bf14f68f9b0f6608bbe78d694bf0