I have an open PR to her repository with several changes. That's one of them. We shouldn't merge this PR until that one gets merged.