Another fixup