Minor tweaks to installation instructions