ok, good to know. In case you'd like to have this changed I can do another PR :)