Update to has-not test and bug correction.