--- ./doc/ipv6.texi.orig	2013-03-13 09:18:49.807751249 +0000
+++ ./doc/ipv6.texi	2013-03-13 09:19:04.531223449 +0000
@@ -136,8 +136,8 @@
 Default: 0
 @end deffn
 
-+@deffn {Interface Command} {ipv6 nd home-agent-lifetime <0-65520>} {}
-+@deffnx {Interface Command} {no ipv6 nd home-agent-lifetime [<0-65520>]} {}
+@deffn {Interface Command} {ipv6 nd home-agent-lifetime <0-65520>} {}
+@deffnx {Interface Command} {no ipv6 nd home-agent-lifetime [<0-65520>]} {}
 The value to be placed in Home Agent Option, when Home Agent config flag is set, 
 which indicates to hosts Home Agent Lifetime. The default value of 0 means to
 place the current Router Lifetime value.