make sure process filtering works consistently in IE (closes #178)