Minor revisions. Added some doc.