fix some mistake in the document