Tweaked INSTALL notes.