fixes in the documentation