Actually typeset latex

Cause otherwise we never typeset....