Fix typo in previous commit (affects #16)