Yep, this is what I wrote in the pull request description...