fixing a minor documentation mistake