Tex file now compiles