remove message about alternate server name; obsolete now