redundant ἐκεῖνοι

οἳ ἢν ἐπ᾽ ἐκείνους ἡμεῖς ἐλαύνωμεν, ὑποτεμοῦνται ἡμᾶς πάλιν ἐκεῖνοι:
it should have been amended and ἐκεῖνοι deleted as it seems redundant.

According to Marchant’s text and apparatus, the deletion of the second ἐκεῖνοι was conjectured by Hug.