fix typo
the example is no longer taken from that rfc