fix LaTeX error that broke the manual #4092
Merge branch 'V8_1_3-branch'