Tiny documentation correction.