Small documentation correction.