diff --git a/public/javascripts/ie.js b/public/javascripts/ie.js
index 86009f067..33be0fdb7 100644
--- a/public/javascripts/ie.js
+++ b/public/javascripts/ie.js
@@ -1,2 +1,7 @@
 document.createElement('header');
-document.createElement('footer');
\ No newline at end of file
+document.createElement('footer');
+
+// IE 9 work-around for vendor/backbone.js
+if ((window.history) && (document.documentMode == 9)) {
+	window.history.pushState = function() { };
+}