fixed some tex errors and typos