another old IE fix