diff --git a/common/refs.bib b/common/refs.bib
index 5afe8ea..def4768 100644
--- a/common/refs.bib
+++ b/common/refs.bib
@@ -54,7 +54,7 @@
 }
 
 @misc{seger1993vos,
-  title={Vos: A Formal Hardware Verification System User's Guide},
+  title={Voss: A Formal Hardware Verification System User's Guide},
   author={Seger, Carl-Johan H},
   year={1993},
   publisher={University of British Columbia. Department of Computer Science}
diff --git a/report/report.tex b/report/report.tex
index f8fa8e1..7e79964 100644
--- a/report/report.tex
+++ b/report/report.tex
@@ -852,8 +852,9 @@ my C++, which I had left behind for some time; and forced me to try to have a
 code as clean as possible, challenging me on small details that were easy to
 implement, but hard to implement in an understandable way.
 
-It also diversified my experience with labs, since my only other experience was
-from my L3's internship in Cambridge.
+It also diversified my experience as a student in laboratories, since my only
+other experience was from my 3rd year of Bachelor's degree internship in
+Cambridge.
 
 \todo{find better}