diff --git a/web/index.html b/web/index.html
index a8b0ca6..d7bba91 100644
--- a/web/index.html
+++ b/web/index.html
@@ -94,11 +94,11 @@ xv6 without Jos, though we are not aware of any that have.
Xv6 sources
-The latest xv6 is xv6-rev4.tar.gz.
+The latest xv6 is xv6-rev5.tar.gz.
We distribute the sources in electronic form but also as
a printed booklet with line numbers that keep everyone
together during lectures. The booklet is available as
-xv6-rev4.pdf.
+xv6-rev5.pdf.
The xv6 source code is licensed under the traditional MIT license;
see the LICENSE file in the source distribution.
@@ -130,7 +130,7 @@ the commentary are below.
- read with the code side by side
- code references look like (xxxx) or (xxxx-yyyy) in small text.
-
- this pdf is the one with matching line numbers.
+
- this pdf is the one with matching line numbers.
- each chapter starts with an introduction to the topic,
spends most of the text on code,
and then wraps up talking about how xv6