Fixed a minor typo in the documentation.