Fix tex-master in header file