make it so the HTML5 history API no longer messes us up