minor change to the documentation