diff --git a/src/plugins/coreplugin/editormanager/documentmodel.cpp b/src/plugins/coreplugin/editormanager/documentmodel.cpp
index ac9c533ce0e..7ca7ff5f0be 100644
--- a/src/plugins/coreplugin/editormanager/documentmodel.cpp
+++ b/src/plugins/coreplugin/editormanager/documentmodel.cpp
@@ -533,7 +533,7 @@ DocumentModel::Entry *DocumentModel::entryForFilePath(const Utils::FileName &fil
     const Utils::optional<int> index = d->indexOfFilePath(filePath);
     if (!index)
         return nullptr;
-    return d->m_entries.at(index.value());
+    return d->m_entries.at(*index);
 }
 
 QList<IDocument *> DocumentModel::openedDocuments()