diff --git a/doc/openocd.texi b/doc/openocd.texi
index 157606e65a7849dbe31804d883e1de1e01ffabcc..e5781a11871cc004feed8066e0d025c6082fb4aa 100644
--- a/doc/openocd.texi
+++ b/doc/openocd.texi
@@ -4982,7 +4982,6 @@ The image @var{type} may be one of
 @cindex vector_catch
 Display a bitmask showing the hardware vectors to catch.
 If the optional parameter is provided, first set the bitmask to that value.
-@end deffn
 
 The mask bits correspond with bit 16..23 in the DCSR:
 @example
@@ -4995,7 +4994,7 @@ The mask bits correspond with bit 16..23 in the DCSR:
 0x40    Trap IRQ
 0x80    Trap FIQ
 @end example
-
+@end deffn
 
 @anchor{xscale vector_table}
 @deffn Command {xscale vector_table} [<low|high> <index> <value>]