minor style fix for IE11