Patch applied as 84ea83e44f1db2d442462e712b71f7c6d1565681.
Thanks.