Slight documentation correction.