spelling

[ssproject1617.git] / report / reflection.bottlenecks.tex

diff --git a/report/reflection.bottlenecks.tex b/report/reflection.bottlenecks.tex
index 42ced32..88dc6ad 100644 (file)
--- a/report/reflection.bottlenecks.tex
+++ b/report/reflection.bottlenecks.tex
@@ -29,10 +29,10 @@ requirement fails in \emph{one} case.
 
 % Verifying each other's results
 The final bottleneck we like to note concerns the verifying of each other's
-results. When verifying the results of your group members (collegues) it may be
+results. When verifying the results of your group members (colleagues) it may be
 difficult to fully double-check their work. This touches upon the previous
 point, for when a counterexample is giving it is trivial to see the result is
 correct. However when a member of the group passes a requirement it will take
 more time to verify this is the correct verdict. In the end we are confident of
 our results, but this may be a bottleneck which can be addressed in the initial
-organisation.
+organization.