3 files changed, 6 insertions, 6 deletions
diff --git a/README.md b/README.md
index dc4ec977..5c518efd 100644
--- a/README.md
+++ b/README.md
@@ -277,7 +277,7 @@ Symbolic execution
 Initializing the IR pool:
 
 ```pycon
->>> ira = machine.ira()
+>>> ira = machine.ira(loc_db)
 >>> ircfg = ira.new_ircfg_from_asmcfg(asmcfg)
 ```
 
@@ -356,7 +356,7 @@ Retry execution with a concrete ECX. Here, the symbolic / concolic execution rea
 
 ```pycon
 >>> from miasm2.expression.expression import ExprInt
->>> sb.symbols[machine.mn.regs.ECX] = ExprInt(-3)
+>>> sb.symbols[machine.mn.regs.ECX] = ExprInt(-3, 32)
 >>> symbolic_pc = sb.run_at(ircfg, 0, step=True)
 Instr LEA        ECX, DWORD PTR [ECX + 0x4]
 Assignblk:
diff --git a/miasm2/arch/aarch64/sem.py b/miasm2/arch/aarch64/sem.py
index 4247a47f..3f70d7a7 100644
--- a/miasm2/arch/aarch64/sem.py
+++ b/miasm2/arch/aarch64/sem.py
@@ -723,7 +723,7 @@ def mrs(ir, insr, arg1, arg2, arg3, arg4, arg5):
         out.append(nf)
         e.append(ExprAff(arg1, ExprCompose(*out).zeroExtend(arg1.size)))
     else:
-        raise NotImplementedError("MSR not implemented")
+        raise NotImplementedError("MRS not implemented")
     return e, []
 
 def msr(ir, instr, arg1, arg2, arg3, arg4, arg5):
@@ -735,7 +735,7 @@ def msr(ir, instr, arg1, arg2, arg3, arg4, arg5):
         e.append(ExprAff(cf, arg5[29:30]))
         e.append(ExprAff(of, arg5[28:29]))
     else:
-        raise NotImplementedError("MRS not implemented")
+        raise NotImplementedError("MSR not implemented")
     return e, []
 
 
diff --git a/miasm2/arch/arm/sem.py b/miasm2/arch/arm/sem.py
index 7dca6242..2cfc2a17 100644
--- a/miasm2/arch/arm/sem.py
+++ b/miasm2/arch/arm/sem.py
@@ -525,7 +525,7 @@ def mrs(ir, instr, a, b):
         out.append(nf)
         e.append(ExprAff(a, ExprCompose(*out)))
     else:
-        raise NotImplementedError("MSR not implemented")
+        raise NotImplementedError("MRS not implemented")
     return e, []
 
 def msr(ir, instr, a, b):
@@ -536,7 +536,7 @@ def msr(ir, instr, a, b):
         e.append(ExprAff(cf, b[29:30]))
         e.append(ExprAff(of, b[28:29]))
     else:
-        raise NotImplementedError("MRS not implemented")
+        raise NotImplementedError("MSR not implemented")
     return e, []