Fix up step 13 in the installation documentation.