Fix a minor delta-debugging error