Fix typo in documentation

Nothing major.