Fix the format in INSTALL.md