Fixed a little bug in the install script