Fix #4 typo in the documentation