Quick editorial fixups.