Small modification to adapt to IE