minor editorial fixup