Fixed bug in untrans code by removing general contraction