INSTALL.md Minor stuff