Fix html encoding in editor