Whitespace fix, and restore accidentally removed comment.