Good catch. This change was made in fa373d066a05d