Fixed up INSTALL.md.