Minor error on INSTALLATION file