Minor changes to doc.