Fixed some errors in Tex