diff --git a/desktop/app.js b/desktop/app.js
index fe2ebc17..9003a91f 100644
--- a/desktop/app.js
+++ b/desktop/app.js
@@ -614,6 +614,10 @@ function coerceMainWindowPositionToConnectedDisplay() {
 }
 
 function reportStartProfile() {
+    if (!perfTimestamps) {
+        return;
+    }
+
     const processCreationTime = process.getCreationTime();
     const totalTime = Math.round(Date.now() - processCreationTime);
     let lastTs = 0;
diff --git a/release-notes.md b/release-notes.md
index 883a38aa..4b5cb438 100644
--- a/release-notes.md
+++ b/release-notes.md
@@ -3,6 +3,7 @@ Release notes
 ##### v1.13.1 (2020-04-04)
 `-` fix #1444: fixed website favicons and attached images  
 `-` fix #1445: fixed offline mode in Chrome and Firefox  
+`-` fix #1447: fixed opening databases from Dock  
 
 ##### v1.13.0 (2020-04-03)
 `-` #1359: fixed Google Drive login issues in desktop apps