clarified a point in the INSTALL