Thanks for pointing me out, that PR does make sense.