Fixed browser-specific uses of window.back().