diff --git a/public/_/readthedocs-addons.json b/public/_/readthedocs-addons.json
index 9fea4422..5a75fa8a 100644
--- a/public/_/readthedocs-addons.json
+++ b/public/_/readthedocs-addons.json
@@ -124,7 +124,7 @@
     },
     "doc_diff": {
       "enabled": true,
-      "base_url": "http://localhost:8000/docdiff.changed.html",
+      "base_url": "http://localhost:8000/docdiff.changed.html"
     },
     "filetreediff": {
       "enabled": true,