diff --git a/ChangeLog b/ChangeLog
index 9173cb977e..b3f7255e8f 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -42,6 +42,7 @@ phpMyAdmin - ChangeLog
- issue #14957 Virtuality is not selected when editing generated column (added virtuality(stored) option for mariadb)
- issue #14853 Insert page should not allow entering things into virtual columns
- issue #15110 Fixed TypeError e.preventDefaulut is not a function
+- issue #15115 Improved label in Settings export, clarifying that it's a JSON file
4.8.5 (2019-01-25)
- issue Developer debug data was saved to the PHP error log
diff --git a/prefs_manage.php b/prefs_manage.php
index 94d0870f7c..8b0f5d90bd 100644
--- a/prefs_manage.php
+++ b/prefs_manage.php
@@ -306,7 +306,7 @@ if (@file_exists('setup/index.php') && ! @file_exists(CONFIG_FILE)) {