In which other PR is this fixed?