There are other instances of this in this diff section (two other I think).