Fixing what is clearly a typo