I just pushed this patch to git master as 1f6b0bc1. Thank you so much for your contribution and I am very sorry that it took so long to get into the repository.

Regards,

Jorgen