Minor text stuff in INSTALL