--- a/thys/README	Thu Jul 06 16:05:33 2017 +0100
+++ b/thys/README	Tue Jul 18 18:39:20 2017 +0100
@@ -12,10 +12,11 @@
 
   isabelle build -c -v -d . Journal
 
-Othe directories are:
+Other directories are:
 =====================
 
   Paper
+  Journal
   Literature