Vaya poder de convocatoria
...
En fin, que encontré el error casi por casualidad. Olvidé poner un carácter ">" para cerrar una etiqueta dentro del código JavaScript. Lo he puesto y ahora ya funciona (al menos con IE).
Lo que no entiendo es por qué sí funcionaba con Firefox.