General improvements in the documentation