The BBC has a slight alteration in semantics. Progress. Well, almost. Headline has "fighters" and story has "militants" and "members".
Israel troops kill Hamas fighters
Militants ended a truce and launched rockets on Tuesday
Israeli troops have shot dead at least three members of Hamas' armed wing in a clash on the Gaza-Israel border, Hamas and the Israeli army have said. The incident took place at about 0830 (0530 GMT), north-west of Gaza City.
The Israeli military said four Hamas members were caught trying to plant a bomb on the security barrier between Gaza and Israel and were fired on.