diff --git a/misc/dist/html/editor.html b/misc/dist/html/editor.html
index dfebc019792..bd3ebe2b41a 100644
--- a/misc/dist/html/editor.html
+++ b/misc/dist/html/editor.html
@@ -239,7 +239,7 @@
- Web editor documentation
+ Web editor documentation