Modify some details of tex