diff --git a/CHANGELOG b/CHANGELOG
--- a/CHANGELOG
+++ b/CHANGELOG
@@ -1,3 +1,9 @@
+zephyr-copilot (1.0.1) upstream; urgency=medium
+
+  * Small documentation fixes.
+
+ -- Joey Hess <id@joeyh.name>  Tue, 15 Feb 2022 11:13:41 -0400
+
 zephyr-copilot (1.0.0) unstable; urgency=medium
 
   * First release.
diff --git a/src/Copilot/Zephyr.hs b/src/Copilot/Zephyr.hs
--- a/src/Copilot/Zephyr.hs
+++ b/src/Copilot/Zephyr.hs
@@ -1,6 +1,6 @@
 -- | Programming embedded systems with Copilot, in functional reactive style.
 --
--- This module should work with any board supported by the Zephyr project.
+-- This module can be used with any board supported by the Zephyr project.
 -- <https://zephyrproject.org/>
 --
 -- See Copilot.Zephyr.Board.* for board specific modules.
diff --git a/src/Copilot/Zephyr/Main.hs b/src/Copilot/Zephyr/Main.hs
--- a/src/Copilot/Zephyr/Main.hs
+++ b/src/Copilot/Zephyr/Main.hs
@@ -21,26 +21,27 @@
 --
 -- > {-# LANGUAGE RebindableSyntax #-}
 -- > 
--- > import Copilot.Zephyr
+-- > import Copilot.Zephyr.Board.Generic
 -- > 
 -- > main = zephyr $ do
 -- >	led0 =: flashing
 -- > 	delay =: MilliSeconds (constant 100)
 --
 -- Running this program compiles the `Sketch` into C code using copilot
--- and writes it to a file. That can be built and uploaded to your board
--- using Zephyr.
+-- and generates a Zephyr app in the directory "generated". That app
+-- can be built and uploaded to your board using Zephyr, the same as any
+-- other Zephyr app. See Zephyr's documentation for details.
 --
 -- This also supports interpreting a `Sketch`, without loading it onto a
 -- board. Run the program with parameters "-i 4" to display what it
 -- would do on the first 4 iterations. The output will look something like
 -- this:
 --
--- > delay:         digitalWrite: 
--- > (100)          (13,false)    
--- > (100)          (13,true)     
--- > (100)          (13,false)    
--- > (100)          (13,true)     
+-- > gpio_pin_set_led0:  k_msleep:
+-- > (false)             (100)
+-- > (true)              (100)
+-- > (false)             (100)
+-- > (true)              (100)
 zephyr :: Sketch () -> IO ()
 zephyr s = go =<< execParser opts
   where
diff --git a/zephyr-copilot.cabal b/zephyr-copilot.cabal
--- a/zephyr-copilot.cabal
+++ b/zephyr-copilot.cabal
@@ -1,5 +1,5 @@
 Name: zephyr-copilot
-Version: 1.0.0
+Version: 1.0.1
 Cabal-Version: >= 1.10
 License: BSD3
 Maintainer: Joey Hess <id@joeyh.name>