minor fixup.