Minor fixes and improvements of the documentation