Typo fix for #4