Fixed a small typo in the documentation.