Fix stupid typo in the docs