diff --git a/book/insnformats.tex b/book/insnformats.tex
index c1b4f60..dd1d135 100644
--- a/book/insnformats.tex
+++ b/book/insnformats.tex
@@ -274,7 +274,7 @@
 \newcommand\InsnStatement[1]{
 %	\textbf{\large #1}\\
 %	\textbf{#1}\\
-	{\large #1}\\
+	{\large #1}
 }
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 % #1 the binary encoding
@@ -545,4 +545,7 @@
 % print a register name in typewriter font
 \newcommand\reg[1]{{\tt #1}}
 
+% print an instruction name in typewriter font
+\newcommand\insn[1]{{\tt #1}}
 
+\newcommand\rvddt{{\tt rvddt}}