Issue #9: final typo fix