Editorial fixup.