From 72e0ad13b3ed8a12375bc950867f58ccb2ac1577 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Alexandre=20Dub=C3=A9?= <adube@mapgears.com>
Date: Fri, 30 Sep 2016 09:57:16 -0400
Subject: [PATCH] Ensure correct type of event.element

---
 src/ol/map.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/ol/map.js b/src/ol/map.js
index 2c80a96c55..0cf0353b29 100644
--- a/src/ol/map.js
+++ b/src/ol/map.js
@@ -455,7 +455,8 @@ ol.Map = function(options) {
        * @param {ol.Collection.Event} event Collection event.
        */
       function(event) {
-        var id = event.element.getId();
+        var overlay = /** @type {ol.Overlay} */ (event.element);
+        var id = overlay.getId();
         if (id !== undefined) {
           delete this.overlayIdIndex_[id.toString()];
         }