diff --git a/release/doc/en_US.ISO8859-1/hardware/alpha/proc-alpha.sgml b/release/doc/en_US.ISO8859-1/hardware/alpha/proc-alpha.sgml
index 4c2e114db6a..514dde846bd 100644
--- a/release/doc/en_US.ISO8859-1/hardware/alpha/proc-alpha.sgml
+++ b/release/doc/en_US.ISO8859-1/hardware/alpha/proc-alpha.sgml
@@ -1506,7 +1506,7 @@ cpu             EV5</programlisting>
       <programlisting>device pcm</programlisting>
 
       <para>The sound device uses port 0x530, IRQ 9 and drq 0. You also need
-      to specify flags 0x10011 in the hints file.</para>
+      to specify flags 0x10011 in the device.hints file.</para>
 
       <para>AlphaStation 200 & 250 series have an automatic SCSI terminator. 
       This means that as soon as you plug a cable onto the external SCSI 
@@ -1706,12 +1706,14 @@ cd0: 250.000MB/s transfers (250.000MHz, offset 12)</programlisting>
 
       <para>AS500 onboard sound can be used by adding a line like</para>
 
-      <programlisting>device pcm0 at isa? port? irq 10 drq 0 flags 0x10011</programlisting> 
+      <programlisting>device pcm</programlisting> 
 
       <para>to the kernel configuration file.</para>
 
-      <para>Using the ECU I configured my AS500 to use IRQ10, port 0x530 
-      and drq 0. Note the uncommon flags in the kernel configuration.</para>
+      <para>Using the ECU I configured my AS500 to use IRQ 10, port 0x530,
+      drq 0. Corresponding entries along with flags 0x10011 must go into
+      the device.hints file. Note that the flags value is rather non-standard.
+      </para>
 
       <para>AS600 has a peculiarity for its PCI slots. AS600 (or rather the 
       PCI expansion card containing the SCSI adapters) does not allow I/O port