Ok ! Should I close this pull request and send another one ? Or do you need only th e patch ?

I'm new to Github and don't really know how you work with it !