tidy up of tex