fix long-standing LaTeX bauble that injected an extra space after the
name of a knob, and before a punctuation that directly followed.
Merge branch 'V8_2_0-branch' into V8_2-branch