Changed original bitvectorify.py