diff --git a/main.js b/main.js
index d306220..196ba15 100644
--- a/main.js
+++ b/main.js
@@ -1156,6 +1156,10 @@ function remotecallfailed(error)
 		console.warn(error);
 		showtemporaryinfo("Error: " + error);
 	}
+	else
+	{
+		console.warn("remotecallfailed without details");
+	}
 }
 
 function gotoline(line)
@@ -1289,11 +1293,6 @@ function initvault()
 	currentvault = window.localStorage.getItem("vault") || "local";
 }
 
-function addfakehistory()
-{
-	history.pushState({}, '', '.');
-}
-
 function init()
 {
 	loadsettings();