diff --git a/scripts/check_bad_style.sh b/scripts/check_bad_style.sh
index d713122..3868240 100755
--- a/scripts/check_bad_style.sh
+++ b/scripts/check_bad_style.sh
@@ -1,4 +1,5 @@
 #!/bin/bash
+#FIXME: Remove this file before the release
 
 set -e