fix the hotkey for refreshing the page.