Spec says ServerObject always needs a name, not all examples follow this detail of the spec

[Simon-Laux]

The spec states that the name field of the Server object is required, but the following 3 examples of this repo don't have it set.
Is the spec wrong here or are the examples wrong?

Examples:

params-by-name-petstore-openrpc.json

  "servers": [
    {
      "url": "http://localhost:8080"
    }
  ],

petstore-expanded-openrpc.json

  "servers": [
    {
      "url": "http://petstore.open-rpc.org"
    }
  ],

petstore-openrpc.json

  "servers": [
    {
      "url": "http://localhost:8080"
    }
  ],