Some fixes in documentation