fix bug in installation instructions