Small documentation improvement