Fix typo (fixes #18)