small fix on tex