11.   The bombardment followed what the source called heavy fighting between the Palestinian security forces inside the compound and the Israeli troops.

12.   The bombardment followed what a military source called heavy fighting between the Palestinian security forces inside the compound and the Israeli troops.