(There's several instances of this in the rest of the docs too.)