A lot of fixes in documentation