quick fix for a JS-event problem leading to unresponsive UI