correct LaTeX reference to section that no longer exists #4240