Fix typo in docs. Spotted in #942