Fix typo #10039