Minor fixup.