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