Definition on `length` incorrect in one spot

[callendorph]

At this line in the docs:

fstarlang.github.io/book/html/part1/part1_termination.html

Line 269 in 6a01e34

| <span class="k">_</span> :: tl -&gt; length tl

The recursive definition of length is missing the 1 + ... that is present in the previous definition here:

fstarlang.github.io/book/html/part1/part1_termination.html

Line 259 in 6a01e34

| <span class="k">_</span> :: tl -&gt; <span class="m">1</span> + length tl