Minor fixes to bv library