Fix typo in docs