diff --git a/libcrux-intrinsics/src/avx2_secret.rs b/libcrux-intrinsics/src/avx2_secret.rs
index 895baeb0..1b380601 100644
--- a/libcrux-intrinsics/src/avx2_secret.rs
+++ b/libcrux-intrinsics/src/avx2_secret.rs
@@ -439,11 +439,11 @@ pub fn mm256_andnot_si256(a: Vec256, b: Vec256) -> Vec256 {
 }
 
 #[inline(always)]
-pub fn mm256_set1_epi64x(a: I64) -> Vec256 {
+pub fn mm256_set1_epi64x(a: i64) -> Vec256 {
     unimplemented!()
 }
 #[inline(always)]
-pub fn mm256_set_epi64x(input3: I64, input2: I64, input1: I64, input0: I64) -> Vec256 {
+pub fn mm256_set_epi64x(input3: i64, input2: i64, input1: i64, input0: i64) -> Vec256 {
     unimplemented!()
 }
 
diff --git a/libcrux-secret-independence/src/public_integers.rs b/libcrux-secret-independence/src/public_integers.rs
index 0887fd1e..6e66c097 100644
--- a/libcrux-secret-independence/src/public_integers.rs
+++ b/libcrux-secret-independence/src/public_integers.rs
@@ -23,16 +23,16 @@ impl<T> Declassify for T{
     }
 }
 
-impl<T> ClassifyEach for T {
+impl<T: Clone+Copy> ClassifyEach for T {
     type ClassifiedEachOutput = T;
     fn classify_each(&self) -> T {
-        self
+        *self
     }
 }
 
 impl<T> DeclassifyEach for T {
     type DeclassifiedEachOutput = T;
-    fn declassify_each(&self) -> T {
+    fn declassify_each(self) -> T {
         self
     }
 }