Fix TSRM (after afc1debb)