Correct some errors in the installation script