Good spot. I think this PR has been merged. I'll open another.