diff --git a/doc/src/sgml/pgtesttiming.sgml b/doc/src/sgml/pgtesttiming.sgml
new file mode 100644
index f74d63e..0554316
*** a/doc/src/sgml/pgtesttiming.sgml
--- b/doc/src/sgml/pgtesttiming.sgml
*************** Histogram of timing durations:
*** 180,190 ****
  
    <para>
     FreeBSD also allows changing the time source on the fly, and it logs
!    information about the timer selected during boot:
  
  <screen>
! dmesg | grep "Timecounter"
! sysctl kern.timecounter.hardware=TSC
  </screen>
    </para>
  
--- 180,191 ----
  
    <para>
     FreeBSD also allows changing the time source on the fly, and it logs
!    information about the timer selected during boot (outputs of these two
!    commands are omitted for brevity):
  
  <screen>
! # dmesg | grep "Timecounter"
! # sysctl kern.timecounter.hardware=TSC
  </screen>
    </para>