diff --git a/doc.zih.tu-dresden.de/util/check-TOC-equals-page-headings.py b/doc.zih.tu-dresden.de/util/check-TOC-equals-page-headings.py
index 97df2403e430c2163cfc00c86fa1592c681925f1..16097c70ac1aff3ab819205d7289ffb512b7f486 100644
--- a/doc.zih.tu-dresden.de/util/check-TOC-equals-page-headings.py
+++ b/doc.zih.tu-dresden.de/util/check-TOC-equals-page-headings.py
@@ -1,4 +1,4 @@
-""" 
+""" #!/usr/bin/env python
 Check for consistency between TOC and page headings.
 Provide as an command line argument the path to the mkdocs.yml file.