Okay, this has been fixed a bit differently in d8c5586 --- but the PR is appreciated, please help us make the docs even clearer, there is a lot more of that left to do