fixed tiny things in supptex