Small changes to doc.