Issue #5781: Fix typo