diff --git a/build.sh b/build.sh
index 3ce7fe8c13ccb709c3541fdf6291748c6ec5b2e3..94b867435a862bfbe35ca6e4a40b0a6c2928c20b 100755
--- a/build.sh
+++ b/build.sh
@@ -68,7 +68,7 @@ failure()
         echo "Please check logfile: `basename $LOGFILE`"
         echo "These are the final ten lines:"
         echo "------------------------------------"
-        tail -n 14 $LOGFILE | head -n 10
+        tail -n 13 $LOGFILE | head -n 10
     fi
 
     echo "************************************" | tee -a $LOGFILE