Minor: autogenerated comment.