Fixed a small mistake in the installation script