Fix an error in the installation instructions.

Roops. Good thing no one has probably tried to install this yet! (I
think.)