Fix the karelCode bug.