Fix the kodkod commit.