fixed occasional bug with resizing coverage vector