Issue minor corrections and updates to INSTALL file.
Merge pull request #1731 from jeremyong/master

Issue minor corrections and updates to INSTALL file.