Fix typo (related to issue 6234)