fixing minor documentation issue