Formatting of INSTALL