Wp_link_pages Documentation error

I found that wp_link_pages part of the "Limited PHP Code" section has two issues (no big deal as most folks will know what to do with it, so just a heads-up)

1. The code has a </div> tag that is never opened by anything else on page. Perhaps a </p> tag was meant to go in there (I see the page.php main template has a </p> tag in it, for example)

2. the Quicktag below it displays as &lt;!--nextpage--&gt; instead of <--nextpage-->

Again, no biggie as I don't think too many people will not understand what's going on - just a thing to put on a list for the next theme update