fixup! Actually fix bug 32d3882 tried to fi