Fixed a typo in the documentation.