fix trivial bv warnings