On Thu, May 19, 2022 at 12:30 AM Andrew Burgess <aburgess@redhat.com> wrote:
> This change looks correct to me, however, the same mistake is repeated a
> few lines earlier in the example, it would be good to fix them both at
> the same time I think.

I'm attaching a patch that fixes both.