diff --git a/manual/APPNOTE_012_Verilog_to_BTOR.tex b/manual/APPNOTE_012_Verilog_to_BTOR.tex
index 5d000fb4..5a7c5b19 100644
--- a/manual/APPNOTE_012_Verilog_to_BTOR.tex
+++ b/manual/APPNOTE_012_Verilog_to_BTOR.tex
@@ -189,8 +189,8 @@ unsat
 \caption{Running boolector on BTOR file}
 \end{figure}
 
-We can also use nuXmv~\cite{nuxmv}, but on BTOR designs it does
-support memories. With the next release of nuXmv, we will be also
+We can also use nuXmv~\cite{nuxmv}, but on BTOR designs it does not
+support memories yet. With the next release of nuXmv, we will be also
 able to verify designs with memories.
 
 \section{Detailed Flow}