Another bug found by KaoS