Good catch.  Fixed in 8d3d92613c0fefec853e40d08eaf4843e127db7a