Formatting in INSTALL