Hotfix: IE 11 highlighting not showing

See #213