minor fixes to editor html