Patch pushed as 82a9ed3eb3d94e8d3cd0323cdc2fecc30edf67c5.
Thanks.