Minor fixup