Fix typo (related to issue 6535)