Fix for IE 11

... was not shown up!