Well, since you're around I'll leave it to you to open a pull request with the fix. Rather urgent, since this was included in the just released 1.9.1