fixing browser history json caching (see #489)