minor changes in formatting, style, etc.