Fix a bug in internet explorer.
Closes #13