Fix INSTALL.txt numbering