Correct small errors in INSTALL.md