Small INSTALL update