diff --git a/alonzo/formal-spec/transactions.tex b/alonzo/formal-spec/transactions.tex
index 8e339b758e2..05c9761677b 100644
--- a/alonzo/formal-spec/transactions.tex
+++ b/alonzo/formal-spec/transactions.tex
@@ -2,7 +2,7 @@ \section{Transactions}
 \label{sec:transactions}
 
 This section outlines the changes that are needed to the transaction
-structure to enable native scripts to validate
+structure to enable non-native scripts to validate
 the minting of tokens, spending outputs, verifying certificates, and
 verifying withdrawals.
 %