Fix typo in docs; spotted by Gabor Greif