diff --git a/chrome/content/zotero/preferences/preferences_search.js b/chrome/content/zotero/preferences/preferences_search.js
index 4e53fdcf7..b50d2518e 100644
--- a/chrome/content/zotero/preferences/preferences_search.js
+++ b/chrome/content/zotero/preferences/preferences_search.js
@@ -208,12 +208,12 @@ Zotero_Preferences.Search = {
 							[Zotero.platform, 'zotero.org']) + '\n\n';
 						
 						if (converterVersionAvailable) {
-							tvp = Zotero.getString('zotero.preferences.search.pdf.toolVersionPlatform',
+							let tvp = Zotero.getString('zotero.preferences.search.pdf.toolVersionPlatform',
 								[Zotero.Fulltext.pdfConverterName, converterVersion]);
 							msg += '- ' + tvp + '\n';
 						}
 						if (infoVersionAvailable) {
-							tvp = Zotero.getString('zotero.preferences.search.pdf.toolVersionPlatform',
+							let tvp = Zotero.getString('zotero.preferences.search.pdf.toolVersionPlatform',
 								[Zotero.Fulltext.pdfInfoName, infoVersion]);
 							msg += '- ' + tvp + '\n';
 						}