determine user intent for setting ; fixes issue#97
minor correction to INSTALL