--- user_old.py	2007-01-14 15:18:54.000000000 +0100
+++ user.py	2007-01-18 17:20:06.000000000 +0100
@@ -248,6 +248,7 @@
         self.datetime_fmt = ""
         self.quicklinks = self._cfg.quicklinks_default
         self.subscribed_pages = self._cfg.subscribed_pages_default
+        self.show_welcome = 0
         self.theme_name = self._cfg.theme_default
         self.editor_default = self._cfg.editor_default
         self.editor_ui = self._cfg.editor_ui
@@ -386,6 +387,7 @@
             vars(self)[key] = val
 
         self.tz_offset = int(self.tz_offset)
+        self.show_welcome = int(self.show_welcome)
 
         # Remove old unsupported attributes from user data file.
         remove_attributes = ['passwd', 'show_emoticons']