Good catch. Just pushed a fix.