diff --git a/libcrux-curve25519/Cargo.toml b/libcrux-curve25519/Cargo.toml
index d1d6f6b7d..d088d58a8 100644
--- a/libcrux-curve25519/Cargo.toml
+++ b/libcrux-curve25519/Cargo.toml
@@ -16,6 +16,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-sha2 = { path = "../libcrux-sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }
diff --git a/libcrux-ed25519/Cargo.toml b/libcrux-ed25519/Cargo.toml
index 154cb3720..bfc571e74 100644
--- a/libcrux-ed25519/Cargo.toml
+++ b/libcrux-ed25519/Cargo.toml
@@ -16,6 +16,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-sha2 = { path = "../libcrux-sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }
diff --git a/libcrux-hacl-rs-krml/Cargo.toml b/libcrux-hacl-rs-krml/Cargo.toml
index 0c4972b18..fe46d5a94 100644
--- a/libcrux-hacl-rs-krml/Cargo.toml
+++ b/libcrux-hacl-rs-krml/Cargo.toml
@@ -8,4 +8,4 @@ edition = "2021"
 [dependencies]
 
 [lib]
-proc-macro=true
+proc-macro = true
diff --git a/libcrux-hkdf/Cargo.toml b/libcrux-hkdf/Cargo.toml
index b0c200cb7..c682e701c 100644
--- a/libcrux-hkdf/Cargo.toml
+++ b/libcrux-hkdf/Cargo.toml
@@ -20,6 +20,6 @@ hacl = ["dep:libcrux-hmac", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-hmac = { path = "../libcrux-hmac", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }
diff --git a/libcrux-hmac/Cargo.toml b/libcrux-hmac/Cargo.toml
index 4c60a59c6..2caaa3e81 100644
--- a/libcrux-hmac/Cargo.toml
+++ b/libcrux-hmac/Cargo.toml
@@ -20,6 +20,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:krml"]
 [dependencies]
 libcrux-hacl-rs = { path = "../libcrux-hacl-rs/", optional = true }
 libcrux-sha2 = { path = "../libcrux-sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 krml = { package = "libcrux-hacl-rs-krml", path = "../libcrux-hacl-rs-krml", optional = true }