Updates in tex parsing