Updates in the documentation.