some minor adjustments and additions to the documentation