Fixed a bug in the installation script