made editor.html pass w3c validation (again)