INSTALL docs had a (minor) bug