Comment 1 for bug 340802

Thanks for the bug. I've pushed a fix to our branch for this version of the documentation, it will be available in due course from the website on the next website update.