#13: Fix typo