I plan to do more work on that, but that error is just a mistake. Andreas, you can just make a pull request to the doc repo, and I will merge it. Feel free to make more PR's if you find more typos Cheers