diff --git a/sbml-level-3/version-1/fbc/spec/main.pdf b/sbml-level-3/version-1/fbc/spec/main.pdf
index f79f4a97..8590274a 100644
Binary files a/sbml-level-3/version-1/fbc/spec/main.pdf and b/sbml-level-3/version-1/fbc/spec/main.pdf differ
diff --git a/sbml-level-3/version-1/fbc/spec/syntax.tex b/sbml-level-3/version-1/fbc/spec/syntax.tex
index 60c239bb..bbfca463 100644
--- a/sbml-level-3/version-1/fbc/spec/syntax.tex
+++ b/sbml-level-3/version-1/fbc/spec/syntax.tex
@@ -171,7 +171,7 @@ \subsubsection{The \FBC \class{listOfGeneProducts}}
 \subsubsection{The \FBC \class{listOfUserDefinedConstraints}}
 \label{listofuserdefinedconstraints-class}
 
-\newtxt{As shown in \ref{fig:fbc_uml} the \ListOfUserDefinedConstraints is derived from \SBase and inherits the attributes \token{metaid} and \token{sboTerm}, as well as the subcomponents for \Annotation and \Notes. The \ListOfUserDefinedConstraints must contain at least one \UserDefinedConstraint (defined in \ref{userdefinedconstraint-class}).}
+\newtxt{As shown in \ref{fig:fbc_uml} the \ListOfUserDefinedConstraints is derived from \SBase and inherits the attributes \token{metaid} and \token{sboTerm}, as well as the subcomponents for \Annotation and \Notes. The \ListOfUserDefinedConstraints must contain zero or more \UserDefinedConstraint (defined in \ref{userdefinedconstraint-class}).}
 
 \subsubsection{A note on units}
 \label{fbcunits}
diff --git a/sbml-level-3/version-1/fbc/spec/syntax_user_constraints.tex b/sbml-level-3/version-1/fbc/spec/syntax_user_constraints.tex
index 71dba9ff..88415876 100644
--- a/sbml-level-3/version-1/fbc/spec/syntax_user_constraints.tex
+++ b/sbml-level-3/version-1/fbc/spec/syntax_user_constraints.tex
@@ -92,7 +92,7 @@ \subsection{The \FBC \class{ListOfKeyValuePairs} class}
   \label{fig:fbc_v3_uml_keyvalue}
 \end{figure}
 
-\newtxt{The \ListOfKeyValuePairs functions like a typical \SBML \textsf{\textbf{ListOf\rule{0.15in}{0.5pt}}} class with the restriction that it must contain one or more elements of type \KeyValuePair (see \ref{keyvaluepair-class}). In addition it defines a single mandatory attribute, \token{xmlns}, which identifies the annotation as belonging to the \FBCPackage.}
+\newtxt{The \ListOfKeyValuePairs functions like a typical \SBML \textsf{\textbf{ListOf\rule{0.15in}{0.5pt}}} class that may contain zero or more elements of type \KeyValuePair (see \ref{keyvaluepair-class}). In addition it defines a single mandatory attribute, \token{xmlns}, which identifies the annotation as belonging to the \FBCPackage.}
 
 \paragraph{The \token{xmlns} attribute}
 \newtxt{The \token{xmlns} is a mandatory component of the \ListOfKeyValuePairs of type \primtype{uri}. It takes a single value: \token{http://sbml.org/fbc/keyvaluepair}.}
@@ -123,7 +123,7 @@ \subsection{The \FBC \class{KeyValuePair} class}
    \textbf{Type} & \textbf{Example} & \textbf{Description} \\
   \midrule
    \textbf{urn} & urn:awesometool.com:keyvaluepair & a tool specific namespace declaration \\
-   \textbf{url} & \url{https://github.com/awesometool/keyvaluepair.md} & a \textbf{url} containing a set of \token{key} definitions\\
+   \textbf{url} & https://github.com/sbmlteam/kvpairdef.md & a \textbf{url} containing a set of \token{key} definitions\\
    \bottomrule
   \end{tabular}
    \caption{Examples of how the \token{uri} attribute can be used to identify \token{key} definitions by way of a \textbf{urn} or \textbf{url}.}\label{table:kvpuris}