Patch pushed as 2e5ac371e799cb91354ffafaf8af2da37d11fa3f.
Thanks.