minor fix for IE