Fix IE Javascript

We forgot to link to the right place for the IE-specific Javascript. This should fix it.