Correcting minor documentation mistake