INSTALL: fix a couple of typos