diff --git a/src/core/wee-doc.c b/src/core/wee-doc.c
index 942a41a03..3d6f93eb4 100644
--- a/src/core/wee-doc.c
+++ b/src/core/wee-doc.c
@@ -598,10 +598,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);