minor tex addition