Fixes in the documentation