Fix an issue in the installation sequence.