[PD] Little mistake in INSTALL.txt