Fix CaseFun.