Definitely, there are many others like it in this diff. I told him in a top level comment.