Fix the final few places still referring to BooleanAlgebra.