Fix up yesterdays commit to TcSimplify; fixes broken HEAD