Make INSTALL.md heading an actual heading