Fixed a few KIF tests.