Oops. Good catch, fixed in 7243684