diff --git a/src/js/devtools.js b/src/js/devtools.js
index 809eae93e..5650813d1 100644
--- a/src/js/devtools.js
+++ b/src/js/devtools.js
@@ -36,22 +36,26 @@ var messager = vAPI.messaging.channel('stats.js');
var renderPageSelector = function(targetTabId) {
var selectedTabId = targetTabId || uDom('#pageSelector').val();
- var onTabReceived = function(tabId, tabTitle) {
- uDom('#pageSelector').append('