Update installation instructions, fix #1