Fix typo in comment

diff --git a/tools/docs/docload.py b/tools/docs/docload.py
index 3b63f190f385e9c68b8f2706bdf5112e86cffd2e..fa4072633faed09947ea821658fbf93d75fd16a7 100755 (executable)
--- a/tools/docs/docload.py
+++ b/tools/docs/docload.py
@@ -221,7 +221,7 @@ if curs.rowcount != pagecount:
 numchanges = 0
 
 # If the previous step succeeded, delete all the documentation for the specified version
-# and insert into / updatethe doc table the content that was loaded into the temporary table
+# and insert into / update the doc table the content that was loaded into the temporary table
 curs.execute("DELETE FROM docs WHERE version=%(version)s AND NOT EXISTS (SELECT 1 FROM docsload WHERE docsload.file=docs.file)", {
     'version': ver,
 })