changes made some time ago. Now forget the specifics