Fixup for f5e8ca74