a number of small, minor changes