only show welcome message once; fixes #767