Very trivial reformatting; added a comment.