documentation minor updates