Try to fix markdown again in INSTALL.md.