Fix Karama tests