diff --git a/gpkit/tests/jenkins.sh b/gpkit/tests/jenkins.sh
index 465f1159b..8d4d5a0c6 100644
--- a/gpkit/tests/jenkins.sh
+++ b/gpkit/tests/jenkins.sh
@@ -4,3 +4,4 @@
 # Modification 1
 # Modification 2
 # Modification 3
+# Modification 4