tiny change to look better in IE