Some notation in testcases changed.