issue #654: bitarray index makes server down