Sorry about that typo. It’s fixed in the new version of the manual.

2 Likes