Good catch. I'll fix this here and in the other PR.