diff --git a/CHANGELOG.md b/CHANGELOG.md
index 88c9011..2db01a8 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,22 @@
 
 All notable changes to this project will be documented in this file.
 
+## [9.3.0] - 2024-01-18
+
+### Bug Fixes
+
+- Ensure all backings have the correct length
+- Message on conditioning error
+
+### Features
+
+- Generate normalization constraints
+- Generate binarity constraints for `@prove`-annotated type
+
+### Miscellaneous Tasks
+
+- Clippy
+
 ## [9.2.3] - 2024-01-17
 
 ### Bug Fixes
@@ -14,6 +30,10 @@ All notable changes to this project will be documented in this file.
 
 - Better error messages on erroneous value updating
 
+### Miscellaneous Tasks
+
+- Release corset version 9.2.3
+
 ### Refactor
 
 - Move columns_len to ConstraintSet
diff --git a/Cargo.lock b/Cargo.lock
index bd1a475..fa67511 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -491,7 +491,7 @@ checksum = "e496a50fda8aacccc86d7529e2c1e0892dbd0f898a6b5645b5561b89c3210efa"
 
 [[package]]
 name = "corset"
-version = "9.2.3"
+version = "9.3.0"
 dependencies = [
  "anyhow",
  "ark-bls12-377",
diff --git a/Cargo.toml b/Cargo.toml
index d8cad08..74023fe 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "corset"
-version = "9.2.3"
+version = "9.3.0"
 edition = "2021"
 rust-version = "1.70.0"
 authors = [ "Franklin Delehelle <franklin.delehelle@consensys.net>" ]
diff --git a/src/compiler/parser.rs b/src/compiler/parser.rs
index 8c2675b..ad39a3c 100755
--- a/src/compiler/parser.rs
+++ b/src/compiler/parser.rs
@@ -655,7 +655,7 @@ fn parse_column_attributes(source: AstNode) -> Result<ColumnAttributes> {
         Base,
     }
     let re_type = regex_lite::Regex::new(
-        r":(?<RawMagma>i(?<Integer>\d+)|[a-z]+)?(@(?<Conditioning>bool|loob))?(?<Proven>@prove)?",
+        r"^:(?<RawMagma>i(?<Integer>\d+)|[a-z]+)?(@(?<Conditioning>bool|loob))?(?<Proven>@prove)?$",
     )?;
     let mut attributes = ColumnAttributes::default();
     let mut state = ColumnParser::Begin;