Update TRADEMARK.txt