It's fine if it gets fixed in the other PR, as long as it gets fixed.