Corrected some tex files