minor change to documentation