minor tex updates