--- cci/usr/src/man/man1/checknr.1 2019/07/28 12:24:19 1.1 +++ cci/usr/src/man/man1/checknr.1 2019/07/28 12:26:46 1.1.1.2 @@ -80,10 +80,9 @@ in mind, much the same as It expects a certain document writing style for \ef and \es commands, in that each \efx must be terminated with \efP and each \esx must be terminated with \es0. -While it will work to directly go into the next font or explicitly +While it can go directly into the next font or explicitly specify the original font or point size, -and many existing documents actually do this, -such a practice will produce complaints from +such a practice produces complaints from .I checknr. Since it is probably better to use the \efP and \es0 forms anyway, you should think of this as a contribution to your document