Typo

The following documentation comment has been logged on the website:

Page: https://www.postgresql.org/docs/10/static/using-explain.html
Description:

"The costs of the loop node are then set on the basis of the cost of the
outer scan, plus one repetition of the inner scan for each outer row (10 *
7.87, here), plus a little CPU time for join processing."

Shouldn't it be "10 * 7.91" inside the braces?