Put back the correct default server name