Tidied up INSTALL