Fix an install bug