That's a nice refinement but I prefer to add in some other PR.