Some documentation fixes and improvements