Fix typo reported by Arnau Siches

This closes #8