minor changes

formatting, etc