diff --git a/expat/clean_coverage.sh b/expat/clean_coverage.sh
index bf02fbff..4d84bda9 100755
--- a/expat/clean_coverage.sh
+++ b/expat/clean_coverage.sh
@@ -1,3 +1,9 @@
+#!/bin/bash
+#
+# Clean source directory after running the coverage script.
+
 rm -r build__*
 rm -r coverage__*
 rm -r source__*
+
+### end of file