Fixes in documentation