Minor documentation fixes and improvements