Fix "finite" def.