/** Hacks for IE */