More kodkod fixes.