HAWelcome: silence a PHP notice.