diff --git a/src/core/wee-doc.c b/src/core/wee-doc.c
index 704c17f50..7d880ff83 100644
--- a/src/core/wee-doc.c
+++ b/src/core/wee-doc.c
@@ -602,10 +602,13 @@ doc_gen_user_options (const char *path, const char *lang)
             free (default_value);
     }
 
-    string_fprintf (
-        file,
-        "// end::%s_options[]\n",
-        old_config->name);
+    if (old_config)
+    {
+        string_fprintf (
+            file,
+            "// end::%s_options[]\n",
+            old_config->name);
+    }
 
     arraylist_free (list_options);