Documentation: Fixed a typo