Tex file updated