Fix misbehaviour of IE8