Correcting typo, fixes #4563