minor formatting, style, etc.