Patch pushed as 7cf3860429f7ba650f0fe040310017b419b57961. Thanks.