Minor updates to doc.