Fix Bool.pi