A proposed change.

I added a comment.