fix tex typo