CharEq gets used after all