Fixing up some formatting and clarifying a comment.