fix bug in LaTeX autoref generation