Updates and improvements in the documentation.