Shouldn't we start at `firstbad`?