Yep... It looks right.
Posting your change here in case I need to remember for another site, or maybe someone else can use it (in web assist folder, ck folder, ckeditor_php5.php, line 137
old
$out = "<textarea name=\"" . $name . "\"" . $attr . ">" . htmlspecialchars($value) . "</textarea>\n";
new
$out = "<textarea name=\"" . $name . "\"" . $attr . ">" . htmlspecialchars($value, ENT_COMPAT|ENT_SUBSTITUTE, "UTF-8") . "</textarea>\n";