BUG/DOC : fix bad merge of INSTALL
Merge pull request #3002 from tacaswell/INSTALL_merge_fix

BUG/DOC : fix bad merge of INSTALL