diff --git a/docs/spectest-progress.csv b/docs/spectest-progress.csv
index e4b325e..bc0f9b4 100644
--- a/docs/spectest-progress.csv
+++ b/docs/spectest-progress.csv
@@ -48,7 +48,7 @@
 "2009-09-29 20:07",745,"r41563",100,8061,3586,2168,2307,7276,"--optimize"
 "2009-09-30 10:24",748,"r41575",101,7661,3876,1936,1849,6765,"--optimize"
 "2009-10-01 00:05",748,"r41575",102,8436,3879,2250,2307,7396,"--optimize"
-"2009-10-13 12:03","d034e8684080752bc58f5c403d1d86b9d5c5a820","r41804",101,8382,3188,2755,2439,7133,"--optimize"
-"2009-10-13 19:15","b455eb2039facb7d65723ee07414329e09ea2ecd","r41833",102,8436,3880,2249,2307,7185,"--optimize"
+"2009-10-13 12:03","d034e86","r41804",101,8382,3188,2755,2439,7133,"--optimize"
+"2009-10-13 19:15","b455eb2","r41833",102,8436,3880,2249,2307,7185,"--optimize"
 # amd64
-"2009-10-15 15:38","a4b859a3cb7ce0c0246bc7a6d220a8ff60b1fb0c","r41881",101,7963,3523,2134,2306,6516,"--optimize"
+"2009-10-15 15:38","a4b859a","r41881",101,7963,3523,2134,2306,6516,"--optimize"
diff --git a/tools/rev.pl b/tools/rev.pl
index 3e1eba8..c76810e 100644
--- a/tools/rev.pl
+++ b/tools/rev.pl
@@ -1,7 +1,7 @@
 #! perl
 
 # Get the git revision
-my $cmd = 'git rev-parse master';
+my $cmd = 'git rev-parse --short master';
 my $out = `$cmd`;
 chomp $out;
 print $out;