diff --git a/src/frontends/qt4/GuiApplication.cpp b/src/frontends/qt4/GuiApplication.cpp
index 460d7ad462..022418fc15 100644
--- a/src/frontends/qt4/GuiApplication.cpp
+++ b/src/frontends/qt4/GuiApplication.cpp
@@ -1670,7 +1670,10 @@ void GuiApplication::dispatch(FuncRequest const & cmd, DispatchResult & dr)
 			boost::crc_32_type crc;
 			crc = for_each(fname.begin(), fname.end(), crc);
 			createView(crc.checksum());
+			// we know current_view_ is non-null, because createView sets it.
+			// coverity[FORWARD_NULL]
 			current_view_->openDocument(fname);
+			// FIXME but then why check current_view_ here?
 			if (current_view_ && !current_view_->documentBufferView())
 				current_view_->close();
 		} else {