Typo in comment. Fixes #6530. Thanks @mauk81 !