diff --git a/src/Naturals.lagda b/src/Naturals.lagda
index ecf4fbda..22cede66 100644
--- a/src/Naturals.lagda
+++ b/src/Naturals.lagda
@@ -5,7 +5,7 @@ permalink : /Naturals
 ---
 
 The night sky holds more stars than I can count, though less than five
-thousand are visible to the naked sky.  The observable universe
+thousand are visible to the naked eye.  The observable universe
 contains about seventy sextillion stars.
 
 But the number of stars is finite, while natural numbers are infinite.