Minor fixes in the installation script