Good catch, fixed in fac1718.