Fix typo as a result of pull request #10