Why is this change in this PR?  I don't think it belongs here.