minor styling, whitespace, etc.