Minor cleanup: whitespace and comment.