Fixed a Kaucher test case.