Made one minor change to documentation