FIX: Fix syntax error in CasavaDesignUtil.