Compatibility with Firefox 22. The history service I was using is gone now.