Fixing rendering for INSTALL.md