very minor documentation improvement