Documentation bugfix for installation instructions.