Some man pages.
diff --git a/man/man3/keyboard.3 b/man/man3/keyboard.3
index b90f18b..f341e50 100644
--- a/man/man3/keyboard.3
+++ b/man/man3/keyboard.3
@@ -53,16 +53,8 @@
.PP
The argument to
.I initkeyboard
-is a
-.I file
-naming the device file from which characters may be read,
-typically
-.BR /dev/cons .
-If
-.I file
-is nil,
-.B /dev/cons
-is assumed.
+is ignored
+(on Plan 9, it is the name of the keyboard device).
.PP
Once the
.B Keyboardctl
@@ -75,9 +67,9 @@
to report each character read from the device.
.PP
.I Ctlkeyboard
-is used to set the state of the interface, typically to turn raw mode on and off
-(see
-.IR cons (3)).
+is used to set the state of the interface, typically to turn raw mode on and off.
+.\" (see
+.\" .IR cons (3)).
It writes the string
.I msg
to the control file associated with the device, which is assumed to be the regular device file name
