minor change in docs