Minor fix to CKEditor