Fixes BitVector to not append zeros if not needed.

Maybe this solves the problem of to much zeros appended at the end of the bitmask, too.