Tiny documentation change.