Fixed an apparent typo in the docs