Fix INSTALL instructions
Merge branch 'docs'