Not sure if this is needed. I would prefer piggybacking on this PR itself, as the change is pretty small.