Bad publish command for uploading gpg key

When attempting to add a gpg fingerprint, if you aren't in the server, you get sent to a page that suggests a few things, the second of which is an invalid command:

# Have you published your key to a public key server? You can do that by by issuing

    gpg --server keyserver.ubuntu.com --send-keys

# Has your key been automatically mirrored to the Ubuntu key server? Keys sometimes take up to an hour to be synchronized between servers. You can check if it has by querying the Ubuntu key server directly. If it hasn't, you can publish directly to our server by issuing:

    gpg --keyserver keyserver.ubuntu.com --send-keys

The first command should have a --keyserver option instead of the --server option.