diff --git a/AADLSecPaper.pdf b/AADLSecPaper.pdf
index f5744fb..5d14bfa 100644
Binary files a/AADLSecPaper.pdf and b/AADLSecPaper.pdf differ
diff --git a/AADLSecPaper.tex b/AADLSecPaper.tex
index 959844b..02a9069 100644
--- a/AADLSecPaper.tex
+++ b/AADLSecPaper.tex
@@ -323,7 +323,7 @@ Other additional aspects of this framework, that could come from the existing to
 \subsection{Component Libraries}
 As with previous work to extend formal languages with security, in order to formalize this framework, one needs 
 to produce a form of component library that represents the possible combinations, or solutions, that a designer 
-or developer can pull from to generate new implementation models.  Listing~\ref{lst:AADLUserDefineLow}) shows an example of how one could use AADL to define properties on a processor.
+or developer can pull from to generate new implementation models.  Listing~\ref{lst:AADLUserDefineLow}) shows an example of how one could use AADL to define properties on a processor and an encrypted transmitter.
 % Add in the table of elements and variations
 \begin{table*}[]
 \centering