Formatting INSTALL (again)