! Fixes problems with history.js.