Regression issues and well ordering issues now fixed