SpiderMonkey: fix issue with javascript:history.back()