Fix silliness in @2bf007e3b2bc63877a3beeefc51e1ab9e10a16cd