Fix typito in INSTALL.txt