fixed a comment in user-bitvector.cpp