Fixup for 9f2f5c3c