Please do not hesitate to integrate it, it will save one PR :-)