Merge pull request #534 from michael-k/small-fixes

fixes in docs