Minor fix for the installation script