What happened to root-server serial number?