Fixed the header in INSTALL