small fix (I think) for old IE