diff --git a/en_US.ISO8859-1/articles/portbuild/article.sgml b/en_US.ISO8859-1/articles/portbuild/article.sgml
index 595eba250a..b27c8550f5 100644
--- a/en_US.ISO8859-1/articles/portbuild/article.sgml
+++ b/en_US.ISO8859-1/articles/portbuild/article.sgml
@@ -608,9 +608,9 @@
       to identify it.  You need to make sure that nothing else important
       is running in this tty, e.g. <command>ps -t p1</command> or whatever.
       If there is not, you can just kill off the whole term easily with
-      <command>pkill -t p1</command>; otherwise issue a
+      <command>pkill -t pts/1</command>; otherwise issue a
       <command>kill -HUP</command> in there by, for example,
-<command>ps -t p1 -o pid= | xargs kill -HUP</command>.  Replace
+<command>ps -t pts/1 -o pid= | xargs kill -HUP</command>.  Replace
       <replaceable>p1</replaceable> by whatever the tty is, of course.</para>
 
     <para>The