Minor documentation correction.