Fixing a LaTeX error (didn't observe any change).