diff --git a/docs/config.json b/docs/config.json
index 36d9dc37..2ba18b9d 100644
--- a/docs/config.json
+++ b/docs/config.json
@@ -1,5 +1,5 @@
 {
   "website": {
-    "master_and_released_docs_differ_after": '8f8851f1dbd511d3bc0ea0f6da7459045610afce'
+    "master_and_released_docs_differ_after": "8f8851f1dbd511d3bc0ea0f6da7459045610afce"
   }
 }