What is the issue with the HTML Standard?

The #abort-the-ongoing-navigation steps take an optional DOMException error, and set it to be a newly created AbortError if it is not given. error is never actually used following this, however. It appears that it should instead be passed to the #abort-a-navigateevent call in step 7 as its reason parameter.