correction on a mistake in installation section of the doc