made a couple tex fixes