Fix typo

Fixes #7387.