così a occhio senza leggere sembra trattarsi del double margin float bug di IE! ne trovi una breve descrizione qui http://pro.html.it/articoli/id_525/idcat_8/pro.html

La soluzione che hai usato è quella che uso anche io (il che è una garanzia ;-) )