@@ -74,8 +74,6 @@ throw new Error(`${res.status} ${res.statusText}: ${await res.text()}`);       }
     })
     .then(function (html) {
-      state.url = url.toJSON();
-      state.opened = [];
       state.fragment = html;
       history.pushState(state, null, url);
       return renderFragmentHTML(html);
@@ -84,6 +82,11 @@ .catch(function (error) {       range.deleteContents();
       range.insertNode(new Text(error.message));
       console.error("fetch failed", error);
+    })
+    .finally(function () {
+      state.url = url.toJSON();
+      state.opened = [];
+      history.pushState(state, null, url);
     });
 }