Fix typo in issue 9