diff --git a/submission_thesis/style.tex b/submission_thesis/style.tex
index 3d1185d..49082a3 100644
--- a/submission_thesis/style.tex
+++ b/submission_thesis/style.tex
@@ -159,7 +159,7 @@ Sometimes termed `top~down'}}}
 A guard on a process such that if a condition is not met, the process may not continue}}}
 
 \newcommand{\fmmdglossSIGPATH}{\glossary{name={signal~path},description={
-The components (software or hardware) and connections from whi particular signal or value is derived from in a system}}}
+The components (software or hardware) and connections from which a particular signal or value is derived}}}
 
 \newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance},description={
 A reasoning distance is the number of stages of logic and reasoning, 
@@ -175,7 +175,7 @@ analogue electronics only~\cite{smart_instruments_1514209}.}}}
 
 \newcommand{\fmmdglossCONTRACTPROG}{\glossary{name={contract~programming}, description={
 A software discipline whereby each function is assigned strict pre and post conditions
-which define a formalised `contract'  the function's behaviour}}}
+which define a formalised `contract' formalising the function's behaviour}}}
 
 %
 %\newcommand{\fmmdglossRD}{\glossary{name={reasoning~distance}{yahda yahda ya}}}