some additions to the doc