Fixes merging artefact, three lines were accidentally duplicated

Trivial, but troublesome