A few fixes in documentation