diff --git a/ci/script-docs.py b/ci/script-docs.py
index 0106a8f706..faed1cbe53 100755
--- a/ci/script-docs.py
+++ b/ci/script-docs.py
@@ -42,7 +42,7 @@ def check_file(fname):
             return 1
         for i, l in enumerate(lines):
             l = l.strip()
-            if l and not doc_start_line and doc_start_line != 0:
+            if l and not doc_start_line and doc_start_line != 0 and not l.startswith('..'):
                 doc_start_line = i
             doc_end_line = i
             lines[i] = l
diff --git a/data/init/dfhack.tools.init b/data/init/dfhack.tools.init
index 9d8c0dd336..d4b2ed65bf 100644
--- a/data/init/dfhack.tools.init
+++ b/data/init/dfhack.tools.init
@@ -145,3 +145,4 @@ enable \
 alias add autounsuspend suspendmanager
 alias add gui/dig gui/design
 alias add version help
+alias add unforbid claim