cleaned up user-bitvector.cpp