diff --git a/doc/plutus-core-spec/cardano/builtins1.tex b/doc/plutus-core-spec/cardano/builtins1.tex index f82c829e9ec..caf89757c0e 100644 --- a/doc/plutus-core-spec/cardano/builtins1.tex +++ b/doc/plutus-core-spec/cardano/builtins1.tex @@ -364,9 +364,9 @@ \subsubsection{Built-in functions} \note{The \texttt{consByteString} function.} \label{note:consbytestring} -In built-in semantics varinat 1, the first argument of \texttt{consByteString} +In built-in semantics variant 1, the first argument of \texttt{consByteString} is an arbitrary integer which will be reduced modulo 256 before being prepended -to the second argument. In built-in semantics varaint 2 we require that the first +to the second argument. In built-in semantics variant 2 we require that the first argument lies between 0 and 255 (inclusive): in any other case an error will occur.