diff --git a/src/insets/InsetBibitem.cpp b/src/insets/InsetBibitem.cpp
index 1c8bc786db..4ccfea8db9 100644
--- a/src/insets/InsetBibitem.cpp
+++ b/src/insets/InsetBibitem.cpp
@@ -68,7 +68,7 @@ InsetBibitem::InsetBibitem(Buffer * buf, InsetCommandParams const & p)
 InsetBibitem::~InsetBibitem()
 {
 	if (isBufferLoaded())
-		/* Coverity believs that this may throw an exception, but
+		/* Coverity believes that this may throw an exception, but
 		 * actually this code path is not taken when buffer_ == 0 */
 		// coverity[exn_spec_violation]
 		buffer().invalidateBibinfoCache();
diff --git a/src/insets/InsetBibtex.cpp b/src/insets/InsetBibtex.cpp
index 63ae8657f0..1b0143d8b8 100644
--- a/src/insets/InsetBibtex.cpp
+++ b/src/insets/InsetBibtex.cpp
@@ -68,7 +68,7 @@ InsetBibtex::InsetBibtex(Buffer * buf, InsetCommandParams const & p)
 InsetBibtex::~InsetBibtex()
 {
 	if (isBufferLoaded()) {
-		/* Coverity believs that this may throw an exception, but
+		/* Coverity believes that this may throw an exception, but
 		 * actually this code path is not taken when buffer_ == 0 */
 		// coverity[exn_spec_violation]
 		buffer().invalidateBibfileCache();
diff --git a/src/insets/InsetCitation.cpp b/src/insets/InsetCitation.cpp
index 12044f50c1..50be1f5c7c 100644
--- a/src/insets/InsetCitation.cpp
+++ b/src/insets/InsetCitation.cpp
@@ -55,6 +55,9 @@ InsetCitation::InsetCitation(Buffer * buf, InsetCommandParams const & p)
 InsetCitation::~InsetCitation()
 {
 	if (isBufferLoaded())
+		/* Coverity believes that this may throw an exception, but
+		 * actually this code path is not taken when buffer_ == 0 */
+		// coverity[exn_spec_violation]
 		buffer().removeBiblioTempFiles();
 }
 
diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp
index 1c80afffd7..0d67f9dbd5 100644
--- a/src/insets/InsetInclude.cpp
+++ b/src/insets/InsetInclude.cpp
@@ -198,7 +198,7 @@ InsetInclude::InsetInclude(InsetInclude const & other)
 InsetInclude::~InsetInclude()
 {
 	if (isBufferLoaded())
-		/* Coverity believs that this may throw an exception, but
+		/* Coverity believes that this may throw an exception, but
 		 * actually this code path is not taken when buffer_ == 0 */
 		// coverity[exn_spec_violation]
 		buffer().invalidateBibfileCache();