some fixes in documentation