Hi, Thanks for your patch. I pushed to master with the following minor changes. - added copyright header for you - made minor style change in code - modified the commit message Cheers!