Fix a broken LaTeX reference within the manual.