It's also probably worth mentioning that you updated the PR (this is one thing I don't like about github but such is life), so that Damien or Paul can merge it).