diff --git a/examples/bare0.rs b/examples/bare0.rs
index c423a0629033b65212999965ca9666e992c53871..dc5286464891aa76943663b8c076761d4452d1c4 100644
--- a/examples/bare0.rs
+++ b/examples/bare0.rs
@@ -42,7 +42,7 @@ fn main() -> ! {
         unsafe {
             X = X.wrapping_add(1);
             Y = X;
-            assert!(x == X && X == Y);
+            assert!(x == X && X == Y+1);
         }
     }
 }
@@ -106,7 +106,7 @@ fn main() -> ! {
 // 4. Change the assertion to `assert!(x == X && X == Y + 1)`, what happens?
 //
 //    ** place your answer here **
-//
+//     the program panics "panicked at 'assertion failed: x == X && X == Y + 1', examples/bare0.rs:45:13"
 //    Commit your answers (bare0_4)
 //
 // 5. Remove the assertion and implement "safe" functions for