Corrige erro de alocação de bitvectors