diff --git a/README.md b/README.md
index 9f791cc3b6985c3bd7cc6f76e96a2075cc422c9a..60873c8ae6df1dbdabff46a9ffc893ccd97646f6 100644
--- a/README.md
+++ b/README.md
@@ -80,14 +80,15 @@ In this case it is the Rust built in division by zero detection that causes a `p
 The error found is at line 24.
 
 ``` rust
-
 #![no_std]
+#![no_main]
 
 #[macro_use]
 extern crate klee;
 
 use core::ptr;
 
+#[no_mangle]
 fn main() {
     let u = ksymbol!("u");
 
@@ -102,6 +103,6 @@ fn f1(u: u8) -> u8 {
 }
 
 fn f2(u: u8) -> u8 {
-    100 / u // <- error found here is a Rust div 0 panic! .
+    100 / u // <- Rust div 0 panic! 
 }
 ```
\ No newline at end of file