few fixes in the docs