Fixed htmleditor doc #732