Fix typo in 235d9c3