bugfix: index out of bounds for liveness