Actually update katex