Minor change to the banner shown on startup