Fix for installation instructions (thanks paul)