Update installation instructions re #4