diff --git a/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh b/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh
index 2666d69e2..249094ea3 100755
--- a/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh
+++ b/wally-pipelined/linux-testgen/testvector-generation/genCheckpoint.sh
@@ -32,7 +32,7 @@ then
     # Post-Process GDB outputs
     ./parseState.py "$checkOutDir"
     ./fix_mem.py "$checkIntermedDir/ramGDB.txt" "$checkOutDir/ram.txt"
-    tail -n+$(($instrs-9)) "$outDir/$traceFile" > "$checkOutDir/$traceFile"
+    tail -n+$instrs "$outDir/$traceFile" > "$checkOutDir/$traceFile"
 else
     echo "You can change the number of instructions by editing the \"instrs\" variable in this script."
     echo "Have a nice day!"