Thanks for the patch!
Pushed as *145b0693.*