Slight (but quick) documentation improvement.