Thanks for the patch!

Pushed as 145b0693.