tweaks
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
