Fix a comment, and a little whitespace tweaking, no real change.