fix odd encoding in LaTeX url