diff --git a/pull/19/_sources/lectures/syscalls.rst.txt b/pull/19/_sources/lectures/syscalls.rst.txt
index b37d54bf..46262a09 100644
--- a/pull/19/_sources/lectures/syscalls.rst.txt
+++ b/pull/19/_sources/lectures/syscalls.rst.txt
@@ -372,8 +372,8 @@ With VDSO the system call interface is decided by the kernel:
    :level: 2
 
    * a stream of instructions to issue the system call is generated by
-     the kernel in a special memory area (in memory it is formated as
-     an ELF .so file)
+     the kernel in a special memory area (formatted as an ELF shared
+     object)
 
    * that memory area is mapped towards the end of the user address
      space
diff --git a/pull/19/lectures/syscalls-slides.html b/pull/19/lectures/syscalls-slides.html
index b64b9283..e4350bc2 100644
--- a/pull/19/lectures/syscalls-slides.html
+++ b/pull/19/lectures/syscalls-slides.html
@@ -322,8 +322,8 @@ <h2>Virtual Dynamic Shared Object (VDSO)</h2>
 
 <ul class="simple">
 <li>a stream of instructions to issue the system call is generated by
-the kernel in a special memory area (in memory it is formated as
-an ELF .so file)</li>
+the kernel in a special memory area (formatted as an ELF shared
+object)</li>
 <li>that memory area is mapped towards the end of the user address
 space</li>
 <li>libc searches for VDSO and if present will use it to issue the
diff --git a/pull/19/lectures/syscalls.html b/pull/19/lectures/syscalls.html
index 946fbf4d..51159f79 100644
--- a/pull/19/lectures/syscalls.html
+++ b/pull/19/lectures/syscalls.html
@@ -394,8 +394,8 @@ <h2>Virtual Dynamic Shared Object (VDSO)<a class="headerlink" href="#virtual-dyn
 <p>With VDSO the system call interface is decided by the kernel:</p>
 <ul class="admonition-virtual-dynamic-shared-object-vdso simple">
 <li>a stream of instructions to issue the system call is generated by
-the kernel in a special memory area (in memory it is formated as
-an ELF .so file)</li>
+the kernel in a special memory area (formatted as an ELF shared
+object)</li>
 <li>that memory area is mapped towards the end of the user address
 space</li>
 <li>libc searches for VDSO and if present will use it to issue the