Update TConfig.hs