diff --git a/Doc/README b/Doc/README
index 66fca2d..313aa12 100644
--- a/Doc/README
+++ b/Doc/README
@@ -96,9 +96,10 @@
 To create PDF files:
 
 	- pdflatex.  We used the one in the teTeX 0.9 distribution
-	  (version 0.12h at the time of this writing).  Versions even
-	  a couple of patchlevels earlier are highly likely to fail
-	  due to syntax changes for some of the pdftex primitives.
+	  (pdfTeX version 3.14159-13b (Web2C 7.3beta4) at the time of
+	  this writing).  Versions even a couple of patchlevels
+	  earlier are highly likely to fail due to syntax changes for
+	  some of the pdftex primitives.
 
 To create PostScript files: