fixes in documentation