minor styling, indentation, and readability edits.