[Bug 1036643] Example 3.1 appears to mix references to 32- and 64-bit install DVD isos