diff --git a/cozo-core/src/query/stored.rs b/cozo-core/src/query/stored.rs
index 04771580..b0b68666 100644
--- a/cozo-core/src/query/stored.rs
+++ b/cozo-core/src/query/stored.rs
@@ -255,8 +255,7 @@ impl<'a> SessionTx<'a> {
                             .try_collect()?,
                     );
                     let key = relation_store.adhoc_encode_key(&extracted, *span)?;
-                    let existing = self.tx.get(&key, true)?;
-                    if existing.is_some() {
+                    if self.tx.exists(&key, true)? {
                         bail!(TransactAssertionFailure {
                             relation: relation_store.name.to_string(),
                             key: extracted.0,
diff --git a/cozo-lib-c/cozo_c.h b/cozo-lib-c/cozo_c.h
index 29671015..ceb4ddbc 100644
--- a/cozo-lib-c/cozo_c.h
+++ b/cozo-lib-c/cozo_c.h
@@ -1,8 +1,4 @@
-// Copyright 2022, The Cozo Project Authors.
-//
-// This Source Code Form is subject to the terms of the Mozilla Public License, v. 2.0.
-// If a copy of the MPL was not distributed with this file,
-// You can obtain one at https://mozilla.org/MPL/2.0/.
+/* Copyright 2022, The Cozo Project Authors. Licensed under MIT/Apache-2.0/BSD-3-Clause. */
 
 #ifndef COZO_C_H
 #define COZO_C_H