Fixed a very minor documentation issue