Fixed a small bug in the install instructions.