A small fixup