No problem. I think I'll have to update the documentation on how to create a ticket on github, that will be a good opportunity.