--- a/doc/tutorial/source/getting-started.rst	Sun Oct 07 07:43:32 2012 -0700
+++ b/doc/tutorial/source/getting-started.rst	Tue Oct 09 12:47:50 2012 -0700
@@ -541,7 +541,7 @@
 
 *What do I do if I don't see the output?*
 
-If you don't see ``waf`` messages indicating that the build was 
+If you see ``waf`` messages indicating that the build was 
 completed successfully, but do not see the "Hello Simulator" output, 
 chances are that you have switched your build mode to "optimized" in 
 the "Building with Waf" section, but have missed the change back to