BUGFIX: The hostname in a system log may contain digits as well as letters