more minor fixup