Fixes #3440: typo in docblock