Remove extraneous line in comment.