fixed minor tex errors