Update Tx5Types.h

cosmetics