I will submit a pull request to that effect, thanks for the hint :-)