diff --git a/distrib/notes/evbppc/hardware b/distrib/notes/evbppc/hardware
index b5a5ecd85a48..4d9a4dc5e5dd 100644
--- a/distrib/notes/evbppc/hardware
+++ b/distrib/notes/evbppc/hardware
@@ -1,4 +1,4 @@
-.\"	$NetBSD: hardware,v 1.3 2007/12/14 21:15:58 pavel Exp $
+.\"	$NetBSD: hardware,v 1.4 2008/09/06 21:52:33 tsutsui Exp $
 .
 .Nx*M
 is a port of
@@ -98,7 +98,7 @@ From the main menu, choose 3 to set the IP address of the machine:
   A - Enable/disable I cache (Enabled )
   B - Enable/disable D cache (Enabled )
   0 - Exit menu and continue
--> 3
+-\*[Gt] 3
 .disp)
 .Pp
 Set the IP address for the local Ethernet with 1:
@@ -110,13 +110,13 @@ Set the IP address for the local Ethernet with 1:
    004  Disabled  Serial Port 2 [S2]
                   local=8.1.1.2  remote=255.255.255.255  hwaddr=ffffffffffff
  ----------------------------
-select device to change ->1
+select device to change -\*[Gt]1
   1 - Change local address
   2 - Change remote address
   0 - Return to main menu
-->1
+-\*[Gt]1
 Current IP address = (0.0.0.0)
-Enter new IP address ->Enter IP address in dot notation, (eg. 8.1.1.2)
+Enter new IP address -\*[Gt]Enter IP address in dot notation, (eg. 8.1.1.2)
 .disp)
 .Pp
 Here you enter the machine's IP address, e.g. 10.0.0.1.