Adapt simple.html example to IE syntax