Patch pushed as 0f6aaf2f62fe3f29bec9751178ea2a7c39706f80.
Thanks.