minor bug fixing in the installation