Patch pushed as 0e69ee46cc19396c40022971c8000b8e528f3747. Thanks.