Deleted some duplicate text

Deleted duplicate text that appeared after the last merge.