Minor fix to installation script