diff --git a/Doc/ref/ref1.tex b/Doc/ref/ref1.tex
index d6c23c8..b611d9c 100644
--- a/Doc/ref/ref1.tex
+++ b/Doc/ref/ref1.tex
@@ -13,11 +13,15 @@
 On the other hand, if you are using
 Python and wonder what the precise rules about a particular area of
 the language are, you should definitely be able to find them here.
+If you would like to see a more formal definitition of the language,
+maybe you could volunteer your time --- or invent a cloning machine
+:-).
 
 It is dangerous to add too many implementation details to a language
 reference document --- the implementation may change, and other
 implementations of the same language may work differently.  On the
-other hand, there is currently only one Python implementation, and
+other hand, there is currently only one Python implementation in
+widespread use (although a second one now exists!), and
 its particular quirks are sometimes worth being mentioned, especially
 where the implementation imposes additional limitations.  Therefore,
 you'll find short ``implementation notes'' sprinkled throughout the