Finally squashed annoying LaTeX bug