Repaired a minor typo in the docs