Fix type introduced in renaming the InstallManager to the ToolMigrationManager - thanks Nicola Soranzo.