Doc typos and improvements