--- a/Cookbook/main.html	Tue Nov 01 11:00:07 2011 +0000
+++ b/Cookbook/main.html	Tue Nov 01 11:26:20 2011 +0000
@@ -103,7 +103,7 @@
 
 There is no real stable version of the Programming Tutorial yet. If you need a version 
 that is guaranteed to work with Isabelle 2011-1, then please get in touch with me 
-(christian.urban at kcl ac ik).
+(christian.urban at kcl ac uk).
 
 
 <H3><A NAME="readers"></A>What early readers said:</H3>
@@ -180,7 +180,7 @@
 <P>
 <a href="http://validator.w3.org/check/referer" target="_top">[Validate this page.]</a>
 <!-- hhmts start -->
-Last modified: Sun Oct 30 22:40:17 GMT 2011
+Last modified: Tue Nov  1 11:26:11 GMT 2011
 <!-- hhmts end -->
 
 </body>