Patch pushed as d0b4baf51f8a3b79923de5348f3d4a5cdf164e33. Thanks.