small ie fix
Merge pull request #337 from GianlucaGuarini/master

small IE fix