Fixed pretty printing, latex