Minor correction to doc.