Fixed a typo in the documentation