Fixup for b0c08c08