Added some minor details to the doc.