Fix an installer bug