Erratum: Proving sequence aligners can guarantee accuracy in almost O ( m log n ) time through an average-case analysis of the seed-chain-extend heuristic.