Minor improvement to server-update script.