I replied to you on github... I did the merge with your repo before making the PR, so the change is included.