tiny tweak to INSTALL