Fix on index.php

This will now work on IE. (I have no idea how the other browsers managed
to figure this out, it is quite horrid how that is.)