Fix bug #17
Fix typo.