a number of minor changes