Fixed a minor documentation issue