diff --git a/dist/mkfile b/dist/mkfile
index 1421973..e12628d 100644
--- a/dist/mkfile
+++ b/dist/mkfile
@@ -11,7 +11,7 @@
 push:V:
 	rsync -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man
 	rsync -e ssh -t unix.html swtch:www/swtch.com/plan9port/unix/index.html
-	rsync -e ssh -t main.html swtch:www/swtch.com/plan9port/nindex.html
+	rsync -e ssh -t main.html swtch:www/swtch.com/plan9port/index.html
 	rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html
 	# @{cd ../unix/man && mk push}
 	# @{cd ../unix && mk push}
diff --git a/man/man1/man.1 b/man/man1/man.1
index 5837fcd..c35c739 100644
--- a/man/man1/man.1
+++ b/man/man1/man.1
@@ -64,7 +64,7 @@
 .TP
 .B -t
 Run
-.I troff
+.IR troff (1)
 and send its output
 to standard output.
 .TP