Fix a duplication of the T char in the header