I've made a very small revert that acknowledges that this event is often called the "Jenin Massacre"as evidenced by the discussions here, as well as the fact that "jenin massacre" has enough searches to be tracked on Google Trendshttp://www.google.com/trends/explore#q=jenin%20massacre, while "battle of jenin" does nothttp://www.google.com/trends/explore#q=battle%20of%20jenin. "Jenin massacre" redirects to this page, so clearly there is a significant association, disagreements about its applicability notwitshtanding. This should not be controversial; it is not a commentary on disputes about what happened, but a neutral recognition of common usage. I made sure to use conservative language to this end ("sometimes referred to as" rather than "also known as").