Fix a type in the installation script.