Minor fixes and improvements of docs