Fix type (booTstrap) on #885