Fixing a Kif bug.