--- a/components/timezone/europe	Thu Mar 21 10:52:48 2013 -0700
+++ b/components/timezone/europe	Fri Mar 22 09:41:03 2013 -0600
@@ -4,7 +4,7 @@
 
 # This data is by no means authoritative; if you think you know better,
 # go ahead and edit the file (and please send any changes to
-# [email protected] for general use in the future).
+# [email protected] for general use in the future).
 
 # From Paul Eggert (2006-03-22):
 # A good source for time zone historical data outside the U.S. is