In case the hotkey is empty, we put back the default value