INSTALL minor fix