Adds some debugging output.
Fixes bug of too long bitvectors