Small documentation improvement.