a few very minor changes