Thank you very much for your reply. I opened a pull request, but I was thinking it was closed, but I wasn't. This is what happen when you read things "late night". I sent my patches over e-mail because I was thinking I missed something on github. Thank you all and sorry for the confusion. Enrico