Typo in doc/INSTALL