bug fix in user_bitvector.hpp