Small fix for the installation script.