minor adjustements in documentation