diff --git a/src/window.cc b/src/window.cc
index 3d8576d..d2b5526 100644
--- a/src/window.cc
+++ b/src/window.cc
@@ -879,7 +879,7 @@ void Window::rename_token_entry() {
   if(notebook.get_current_page()!=-1) {
     if(notebook.get_current_view()->get_token) {
       auto token=std::make_shared<Source::Token>(notebook.get_current_view()->get_token());
-      if(token) {
+      if(*token) {
         entry_box.labels.emplace_back();
         auto label_it=entry_box.labels.begin();
         label_it->update=[label_it](int state, const std::string& message){