Minor cleanup of INSTALL.txt