Minor docs correction.